fmap f (Cons x t) = Cons (f x) (fmap f t)